-
1 Craig's theorem
French\ \ théorème de CraigGerman\ \ Craigsches TheoremDutch\ \ theorema van CraigItalian\ \ teorema di CraigSpanish\ \ teorema de CraigCatalan\ \ teorema de CraigPortuguese\ \ teorema de CraigRomanian\ \ teorema lui CraigDanish\ \ Craigs sætningNorwegian\ \ Craigs teoremSwedish\ \ CraigsatsGreek\ \ θεώρημα CraigFinnish\ \ Craigin lauseHungarian\ \ Craig-tételTurkish\ \ Craig teoremi; Craig savıEstonian\ \ Craigi teoreemLithuanian\ \ Craig teorema; Kreigo teoremaSlovenian\ \ Craigov izrekPolish\ \ twierdzenie CraigaRussian\ \ теорема КрейгаUkrainian\ \ -Serbian\ \ Крејгова теоремаIcelandic\ \ Craig's setninginEuskara\ \ Craig-ren teoremaFarsi\ \ gh ziyeye CraigPersian-Farsi\ \ -Arabic\ \ نظرية كريجAfrikaans\ \ Craig se stellingChinese\ \ 克 雷 格 定 理Korean\ \ 크레이그의 정리 -
2 теорема Крейга
См. также в других словарях:
Craig interpolation — In mathematical logic, Craig s interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an… … Wikipedia
Craig's theorem — A theorem in mathematical logic, held to have implications in the philosophy of science. The logician William Craig at Berkeley showed how, if we partition the vocabulary of a formal system (say, into the T or theoretical terms, and the O or… … Philosophy dictionary
Craig's theorem — In mathematical logic, Craig s theorem states that any recursively enumerable set of well formed formulas of a first order language is (primitively) recursively axiomatizable. This result is not related to the well known Craig interpolation… … Wikipedia
Craig Glenday — Kind mit Seifenblasen Jean Siméon Chardin: Seifenbläser, 18. Jh … Deutsch Wikipedia
William Lane Craig — Infobox Philosopher region = Western Philosophy era = 21st century philosophy color = #B0C4DE name = William Lane Craig image size = 150px birth = birth date and age|1949|8|23 Peoria, Illinois death = school tradition = Christian philosophy main… … Wikipedia
2π theorem — In mathematics, the 2π theorem of Gromov and Thurston states a sufficient condition for Dehn filling on a cusped hyperbolic 3 manifold to result in a negatively curved 3 manifold. Let M be a cusped hyperbolic 3 manifold. Disjoint horoball… … Wikipedia
Robinson's joint consistency theorem — is an important theorem of mathematical logic. It is related to Craig interpolation and Beth definability.The classical formulation of Robinson s joint consistency theorem is as follows:Let T 1 and T 2 be first order theories. If T 1 and T 2 are… … Wikipedia
William Craig (logician) — William Craig (born 1918) is Emeritus professor of Philosophy at University of California, Berkeley in Berkeley, California. His interests include mathematical logic, and philosophy of science. He is mostly known for the Craig interpolation… … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème … Wikipédia en Français
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia